Intelligent verification - PDFSEARCH.IO - Document Search Engine

Intelligent verification
Results: 14

#	Item
1	Product Tracking & Reporting(PTR) System Release 6.0 January 2016 Price Change External Add to Reading List Source URL: ribbs.usps.gov Language: English - Date: 2015-12-07 18:37:52 United States Postal Service Postal system Express mail Mail Delivery point ZIP code Postal address verification Email Barcode Click-N-Ship Intelligent Mail barcode Express mail in the United States
2	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-04-02 18:22:28 Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization
3	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
4	CreaLog Speech processing Intelligent dialogs through state-of-the-art speech recognition, speech synthesis and speaker verification Add to Reading List Source URL: www.crealog.com Language: English - Date: 2013-04-04 06:55:20 Computational linguistics User interface techniques Automatic identification and data capture Speech processing Dialog system Speech recognition Speech synthesis Answering machine Speech technology Humanâ€“computer interaction Telephony Human communication
5 $Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China$	Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date: Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2014-08-21 03:08:32 Formal methods Logic in computer science Theoretical computer science Formal verification Sun Yat-sen University Sun Yat-sen Logic programming Guangzhou Chinese people Guangdong Provinces of the People\'s Republic of China
6	Guide to Seamless Acceptance Version 1.0 November 6, 2014 Add to Reading List Source URL: ribbs.usps.gov Language: English - Date: 2014-11-06 17:47:45 Barcodes Cultural history Collecting United States Postal Service Intelligent Mail barcode Mail Delivery point Digital Postmarks Verification Postal system Philately Postal markings
7	CHEMM Intelligent Syndromes Tool Add to Reading List Source URL: www.chemm.nlm.nih.gov Language: English - Date: 2014-10-31 11:39:18 Quality management Acceptance testing Validation Verification and validation Software development process Software performance testing Load testing Test plan Validity Software testing Evaluation Science
8	CHEMM Intelligent Syndromes Tool Add to Reading List Source URL: chemm.nlm.nih.gov Language: English - Date: 2014-10-31 11:39:18 Quality management Acceptance testing Validation Verification and validation Software development process Software performance testing Load testing Test plan Validity Software testing Evaluation Science
9	Safe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andr´e Platzer Abstract— Intelligent vehicle systems have interesting prospects for solving inefficiencies and risks in ground t Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:10:00 Traffic law Traffic signals Traffic light Transport engineering Lane Traffic flow Traffic Intersection Intelligent transportation system Transport Land transport Road transport
10	Feb 1, 2013 NEW MEXICO DEPARTMENT OF TRANSPORTATION SPECIAL PROVISIONS FOR Add to Reading List Source URL: dot.state.nm.us Language: English - Date: 2014-10-28 17:17:57 Intelligent transportation systems Systems engineering Traffic law Tachometer Traffic National Transportation Communications for Intelligent Transportation System Protocol Shall and will Verification and validation Transport Land transport Technology

UPDATE